1

A complete proof of the Feigenbaum conjectures

Year:
1987
Language:
english
File:
PDF, 596 KB
english, 1987
5

Computer-Assisted Proofs in Analysis and Programming in Logic: A Case Study

Year:
1996
Language:
english
File:
PDF, 3.22 MB
english, 1996
7

On the renormalization group transformation for scalar hierarchical models

Year:
1991
Language:
english
File:
PDF, 1.50 MB
english, 1991
34

On the Structure of Stationary Solutions of the Navier-Stokes Equations

Year:
2003
Language:
english
File:
PDF, 145 KB
english, 2003
46

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

Year:
1996
Language:
english
File:
PDF, 4.05 MB
english, 1996